大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Friedrich A. Friedrich August 的图书(共1239本)

Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

0
索取号：
作者：Berghofer、 Stefan.、Nipkow、 Tobias.、Urban、 Christian.、Wenzel、 Makarius.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Cryptology - CRYPTO 2009 [electronic resource] : 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings

0
索取号：
作者：Halevi、 Shai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

0
索取号：
作者：Frid、 Anna.、Morozov、 Andrey.、Rybalchenko、 Andrey.、Wagner、 Klaus W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advanced Data Mining and Applications [electronic resource] : 5th International Conference, ADMA 2009, Beijing, China, August 17-19, 2009. Proceedings

0
索取号：
作者：Huang、 Ronghuai.、Yang、 Qiang.、Pei、 Jian.、Gama、 Jo茫o.、Meng、 Xiaofeng.、Li、 Xue.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Growth and Development of Computer-Aided Innovation [electronic resource] : Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

0
索取号：
作者：Tan、 Runhua.、Cao、 Guozhong.、Le贸n、 Noel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Pairing-Based Cryptography-Pairing 2009 [electronic resource] : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

0
索取号：
作者：Shacham、 Hovav.、Waters、 Brent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Parallel Computing Technologies [electronic resource] : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings

0
索取号：
作者：Malyshkin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

0
索取号：
作者：Andrews、 Paul S.、Timmis、 Jon.、Owens、 Nick D. L.、Aickelin、 Uwe.、Hart、 Emma.、Hone、 Andrew.、Tyrrell、 Andy M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

0
索取号：
作者：Palsberg、 Jens.、Su、 Zhendong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Privacy Enhancing Technologies [electronic resource] : 9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009. Proceedings

0
索取号：
作者：Goldberg、 Ian.、Atallah、 Mikhail J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Value Creation in E-Business Management [electronic resource] : 15th Americas Conference on Information Systems, AMCIS 2009, SIGeBIZ track, San Francisco, CA, USA, August 6-9, 2009. Selected Papers

0
索取号：
作者：Nelson、 Matthew L.、Shaw、 Michael J.、Strader、 Troy J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

DNA Computing [electronic resource] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers

0
索取号：
作者：Goel、 Ashish.、Simmel、 Friedrich C.、Sos铆k、 Petr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Origins and Foundations of Computing [electronic resource] : In Cooperation with Heinz Nixdorf MuseumsForum

0
索取号：
作者：Bauer、 Friedrich L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Deduction-CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Privacy, Security, and Trust in KDD [electronic resource] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers

0
索取号：
作者：Bonchi、 Francesco.、Ferrari、 Elena.、Jiang、 Wei.、Malin、 Bradley.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Robotics Research [electronic resource] : Theory, Implementation, Application

0
索取号：
作者：Kr枚ger、 Torsten.、Wahl、 Friedrich M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院